SemanticWeb Basics in Logical Consideration
نویسنده
چکیده
In this paper we study the operation of incremental data extraction from declarative knowledge bases and the problem of decomposability of data in such KBs, by viewing them as first-order logical theories. The operation of incremental data extraction is closely connected with query reformulation in information retrieval and data integration, while the decomposability problem is important in the scope of modularization and distributed processing of knowledge.
منابع مشابه
A New Approach to Quantum Logic
. The reason for including this chapter is to make the book as selfcontained as possible. It should in particular be accessible to physicists, who normally have no training in formal logic. We present the basics of classical propositional logic and non-monotonic logic. In fact, it is possible to provide the reader with all the logical equipment he needs in order to understand the logical invest...
متن کاملLogical Management Tools: Strategic Oriented Fuzzy Systems
Logical Management use fuzzy integrated management models developed using knowledge engineering and a new multivalued logic system called Compensatory Logic to contribute for Strategic Integration of organizations. To explain basics and fundamental ideas of Logical Management, and to explain the architecture of a projected system called LMS and how it can be joined with an ERP System to guarant...
متن کاملFacebook's "Free Basics": For or against community development?
A recent discussion on a prominent community informatics (CI) listserv revealed arguments for and against the Facebook’s Free Basics platform among researchers in the field. To continue and enrich the conversation, this study first examines the contrasting stances revealed in the CI listserv discussion and derives the CI researchers’ major concerns about the platform. Under the light of these c...
متن کاملDesigning of multichannel optical communication systems topologies criteria optimization
This paper presents the issues necessary to solve in the designing process of multichannel optical communication systems topologies. The main design assumption is the acceptance of multichanneling in communication system realization. In particular, the basics of designing physical and logical topologies are shown. Also cost aspects of physical and logical topologies realization are shown.
متن کاملتبیین جایگاه پیوست نگاری فرهنگی و بهرهگیری از نظام مدیریت فرهنگی در شهر اسلامی- ایرانی (مبانی نظری و فرآیند فکری سازنده شهر اسلامی)
Cultural disconnection and non – local Factors injection to the stracture of Islamic – Iranian cities in the recent decades refer to the absence of open progress, development pattern and a determined route. After the Islamic revolution in Iran, returning to the Islamic basics, caring about human dignity and relying on Iranian innovation and thought have attracted attention once again. The neces...
متن کامل